241. Logic, methodology, and philosophy of science, VII :
پدیدآورنده : edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses,Science-- Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
Q174
.
I58
1983
242. Logic, methodology and philosophy of science VII : Proceedings of the International Congress of Logic, Methodology, and Philosophy, Salzburg 1983
پدیدآورنده : edited by Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingarther
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Philosophy,Congresses ، Science -- Methodology,Congresses ، Logic, Symbolic and mathematical
رده :
Q
174
.
I58
1983
243. Logic of Computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
244. Logic of computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
245. Logic of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
246. Logic symposia, Hakone, 1979, 1980 : proceedings of Conference held in Hakone, Japan,March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : edited by G. H. Muller, G. Takeuti, and T. Tugue
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
891
247. Logic sympsia, Hakone 1979, 1980: repoceedings of conference held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : edited by G.H. Muller, G. Takeuti, and T. Tugue
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
891
248. Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
پدیدآورنده : Wolfgang Lenski )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3075
249. Logic year 1979-80, the University of Connecticut, U.S.A
پدیدآورنده : Edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
859
250. Logic year 1979-80, the University of Connecticut, USA
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
251. Logic year 1979-80, the University of Connecticut, USA
پدیدآورنده : edited by M. Lerman, J.H. Schmerl, and R.I. Soare
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
859
252. Logic year 1979-80 : the University of Connecticut, USA
پدیدآورنده : edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
859
253. Logical foundations of computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;
254. Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
پدیدآورنده : LFCS 9002)9002 :Deerfield Beach, Fla.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
75
.
5
.
L64
2009
255. Logical foundations of computer science--Tver '92
پدیدآورنده : A. Nerode, M. Taitslin )eds.(.
موضوع : Computers -- Congresses,Electronic data processing -- Congresses,Logic, Symbolic and mathematical -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
256. Logical foundations of computer science- Tver'92: second International Symposium: Tver, Russia, Julay 20-24, 1992: proceedigns
پدیدآورنده : A. Nerode, M. Taitslin )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
620
257. Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
پدیدآورنده : A. Nerode, M. Taitslin )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
620
258. Logical foundations of computer science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 : proceedigns
پدیدآورنده : Sergei Adian, Anil Nerode )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1234
259. Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
75
.
5
.
L64
1997
260. Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
پدیدآورنده : A. Nerode, Yu.V. Matiyasevich, eds
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
813
